NEXP-completeness and Universal Hardness Results for Justification Logic

We provide a lower complexity bound for the satisfiability problem of a multi-agent justification logic, establishing that the general NEXP upper bound from our previous work is tight. We then use a simple modification of the corresponding reduction to prove that satisfiability for all multi-agent justification logics from there is hard for the Sigma 2 p class of the second level of the polynomial hierarchy - given certain reasonable conditions. Our methods improve on these required conditions for the same lower bound for the single-agent justification logics, proven by Buss and Kuznets in 2009, thus answering one of their open questions.Comment: Shorter version has been accepted for publication by CSR 201

Wave propagation in a strongly disordered 1D phononic lattice supporting rotational waves

We investigate the dynamical properties of a strongly disordered micropolar lattice made up of cubic block units. This phononic lattice model supports both transverse and rotational degrees of freedom hence its disordered variant posses an interesting problem as it can be used to model physically important systems like beam-like microstructures. Different kinds of single site excitations (momentum or displacement) on the two degrees of freedom are found to lead to different energy transport both superdiffusive and subdiffusive. We show that the energy spreading is facilitated both by the low frequency extended waves and a set of high frequency modes located at the edge of the upper branch of the periodic case for any initial condition. However, the second moment of the energy distribution strongly depends on the initial condition and it is slower than the underlying one dimensional harmonic lattice (with one degree of freedom). Finally, a limiting case of the micropolar lattice is studied where Anderson localization is found to persist and no energy spreading takes place

Large-scale solar wind flow around Saturn's nonaxisymmetric magnetosphere

The interaction between the solar wind and a magnetosphere is fundamental to the dynamics of a planetary system. Here, we address fundamental questions on the large-scale magnetosheath flow around Saturn using a 3D magnetohydrodynamic (MHD) simulation. We find Saturn's polar-flattened magnetosphere to channel ~20% more flow over the poles than around the flanks at the terminator. Further, we decompose the MHD forces responsible for accelerating the magnetosheath plasma to find the plasma pressure gradient as the dominant driver. This is by virtue of a high-beta magnetosheath, and in turn, the high-MA bow shock. Together with long-term magnetosheath data by the Cassini spacecraft, we present evidence of how nonaxisymmetry substantially alters the conditions further downstream at the magnetopause, crucial for understanding solar wind-magnetosphere interactions such as reconnection and shear flow-driven instabilities. We anticipate our results to provide a more accurate insight into the global conditions upstream of Saturn and the outer planets.Comment: Accepted for publication in Journal of Geophysical Journal: Space Physic

The Cushion Region and Dayside Magnetodisc Structure at Saturn

A sustained quasi‐dipolar magnetic field between the current sheet outer edge and the magnetopause, known as a cushion region, has previously been observed at Jupiter, but not yet at Saturn. Using the complete Cassini magnetometer data, the first evidence of a cushion region forming at Saturn is shown. Only five examples of a sustained cushion are found, revealing this phenomenon to be rare. Four of the cushion regions are identified at dusk and one pre‐noon. It is suggested that greater heating of plasma post‐noon coupled with the expansion of the field through the afternoon sector makes the disc more unstable in this region. These results highlight a key difference between the Saturn and Jupiter systems

Oscillons and oscillating kinks in the Abelian-Higgs model

We study the classical dynamics of the Abelian Higgs model employing an asymptotic multiscale expansion method, which uses the ratio of the Higgs to the gauge field amplitudes as a small parameter. We derive an effective nonlinear Schr\"{o}dinger equation for the gauge field, and a linear equation for the scalar field containing the gauge field as a nonlinear source. This equation is used to predict the existence of oscillons and oscillating kinks for certain regimes of the ratio of the Higgs to the gauge field masses. Results of numerical simulations are found to be in very good agreement with the analytical findings, and show that the oscillons are robust, while kinks are unstable. It is also demonstrated that oscillons emerge spontaneously as a result of the onset of the modulational instability of plane wave solutions of the model. Connections of the obtained solutions with the phenomenology of superconductors is discussed.Comment: arXiv admin note: substantial text overlap with arXiv:1306.386

Chaos and Anderson Localization in Disordered Classical Chains: Hertzian vs FPUT models

International audienceWe numerically investigate the dynamics of strongly disordered 1D lattices under single particle displacements, using both the Hertzian model, describing a granular chain, and the α + β Fermi-Pasta-Ulam-Tsingou model (FPUT). The most profound difference between the two systems is the discontinuous nonlinearity of the granular chain appearing whenever neighboring particles are detached. We therefore sought to unravel the role of these discontinuities in the destruction of Anderson localization and their influence on the system's chaotic dynamics. Our results show that the dynamics of both models can be characterized by: (i) localization with no chaos; (ii) localization and chaos; (iii) spreading of energy, chaos and equipartition. The discontinuous nonlinearity of the Hertzian model is found to trigger energy spreading at lower energies. More importantly, a transition from Anderson localization to energy equipartition is found for the Hertzian chain and is associated with the"propagation" of the discontinuous nonlinearity in the chain. On the contrary, the FPUT chain exhibits an alternate behavior between localized and delocalized chaotic behavior which is strongly dependent on the initial energy excitation